Extending the Knowledge Compilation Map: Closure Principles
نویسندگان
چکیده
We extend the knowledge compilation map introduced by Darwiche and Marquis with new propositional fragments obtained by applying closure principles to several fragments studied so far. We investigate two closure principles: disjunction and implicit forgetting (i.e., existential quantification). Each introduced fragment is evaluated w.r.t. several criteria, including the complexity of basic queries and transformations, and its spatial efficiency is also analyzed.
منابع مشابه
Disjunctive closures for knowledge compilation
The knowledge compilation (KC) map [1] can be viewed as a multi-criteria evalu-ation of a number of target classes of representations for propositional KC. Usingthis map, the choice of a class for a given application can be made, consideringboth the space efficiency of it (i.e., its ability to represent information using lit-tle space), and its time efficiency, i.e., the queries...
متن کاملExtending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond
We extend the knowledge compilation map introduced by Darwiche and Marquis with three influential propositional fragments, the Krom CNF one (also known as the bijunctive fragment), the Horn CNF fragment and the affine fragment (also known as the biconditional fragment) as well as seven additional languages based on them, and composed respectively of Krom or Horn CNF formulas, renamable Horn CNF...
متن کاملOn Unit-Refutation Complete Formulae with Existentially Quantified Variables
We analyze, along the lines of the knowledge compilation map, both the tractability and the succinctness of the propositional language URC-C of unit-refutation complete propositional formulae, as well as its disjunctive closure URC-C[∨, ∃], and a superset of URC-C where variables can be existentially quantified and unitrefutation completeness concerns only consequences built up from free variab...
متن کاملUnderstanding the semantic principles of a political map
The attempt to recognize phenomena and affairs has always been a concern of the human mind and has constantly sought to complete this knowledge. The correct recognition is also achieved when the real nature of phenomena is clear to man. The phenomena are based on their own philosophical foundations and, therefore, their understanding requires perception these philosophical foundations and using...
متن کاملDeriving Acquisition Principles from Tutoring Principles
This paper describes our analysis of the literature on tutorial dialogues and presents a compilation of useful principles that students and teachers typically follow in making tutoring interactions successful. The compilation is done in the context of making use of those principles in building knowledge acquisition interfaces since acquisition interfaces can be seen as students acquiring knowle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008